Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine unüberwindbare Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett. Seit ihrer Entdeckung sind die Unvollständigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel‘sche Arbeit in ihrer ursprünglichen Form − und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit. In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen.

Mathematical logic. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

Logic. --- Mathematical logic. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Was Sie schon immer über die Kunst, mathematische Texte zu formulieren, wissen wollten, aber nie zu fragen wagten: Was bedeutet "trivial", "wohldefiniert", "Korollar", "eindeutig", " o. B. d. A.", ...? Was sind gute Bezeichnungen? Wie organisiert man einen Beweis? Dieses Buch hilft den Studierenden der Mathematik mit vielen Beispielen und konkreten Ratschlägen bei der Formulierung mathematischer Übungsaufgaben, Seminararbeiten und Examensarbeiten. Das höchste Ziel: Klarheit! - Auch ein mathematischer Text ist ein Text in deutscher Sprache! - Definitionen - Wohldefiniert - Satz, Lemma, Korollar - Bezeichnungen: gute, keine unnötigen - "2 paarweise verschiedene Zahlen" - "3 5-elementige Mengen haben 15 Elemente" - Symbole - "daraus folgt" - Mächtigkeit einer Menge - Unendlich - Notwendig und hinreichend - Trivial - Beispiele - All- und Existenzquantor - Gegenbeispiele - Beweise - Zitate - Der, die, das - Eineindeutig - Kanonisch - O. B. d. A. - Ich, wir, man, mein, unser - Abbildung, Funktion, Operator - Konjunktiv - Wörter, die man wissen muss - Lesen mathematischer Texte - Übungsaufgaben - Studierende der Mathematik im Grundstudium - Lehrerinnen und Lehrer der Mathematik Prof. Dr. Albrecht Beutelspacher ist Professor für Mathematik an der Justus-Liebig-Universität Gießen und Direktor des Mathematikums in Gießen, des ersten mathematischen Mitmachmuseums der Welt.

Mathematical logic. --- Mathematics. --- Mathematical Logic and Foundations. --- Mathematics, general.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

Logic. --- Mathematical logic. --- Logic. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Das Buch vermittelt logisches Grundwissen, fundamentale Beweisprinzipien, Methoden und Einsichten, welche jede Mathematikerin/jeder Mathematiker besitzen sollte. Folgenden Fragestellungen wird dabei nachgegangen: Was unterscheidet endliche von unendlichen Mengen? Wie lassen sich die ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen und letztere aus reinen Mengen konstruieren? Welche grundlegenden mengentheoretischen Konstruktionen werden hierfür und überhaupt in der Mathematik gebraucht? Welche grundlegenden topologischen Eigenschaften besitzt die Menge der reellen Zahlen? Wie lautet die Kontinuumshypothese? Wofür wird das Auswahlaxiom benötigt? Lassen sich die natürlichen oder reellen Zahlen vollständig axiomatisch beschreiben? Mit Hilfe der Ultrapotenzmethode werden Nichtstandard-Zahlen konstruiert. Darüber hinaus wird ein leicht zugänglicher Beweis des Ersten Gödelschen Unvollständigkeitssatzes geliefert.".

Mathematical logic. --- Number theory. --- Mathematical analysis. --- Analysis (Mathematics). --- Mathematical Logic and Foundations. --- Number Theory. --- Analysis.